more on this theme     |     more from this thinker     |     more from this text


Single Idea 17893

[filed under theme 4. Formal Logic / F. Set Theory ST / 1. Set Theory ]

Full Idea

Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level.

Gist of Idea

'Reflection principles' say the whole truth about sets can't be captured

Source

Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1)

Book Ref

-: 'Philosophia Mathematica' [-], p.13